189
0 true
1 ( >= title_bg_kid_0_hight 0.0 )
2 ( >= title_bg_kid_1_hight 0.0 )
3 ( >= title_bg_kid_2_hight 0.0 )
4 ( >= title_bg_kid_3_hight 0.0 )
5 ( >= title_bg_kid_4_hight 0.0 )
6 ( >= title_bg_kid_5_hight 0.0 )
7 ( >= title_bg_kid_6_hight 0.0 )
8 ( >= title_bg_kid_7_hight 0.0 )
9 ( >= title_bg_kid_8_hight 0.0 )
10 ( >= title_bg_kid_9_hight 0.0 )
11 ( >= title_bg_kid_10_hight 0.0 )
12 ( >= title_bg_kid_11_hight 0.0 )
13 ( >= title_bg_kid_12_hight 0.0 )
14 ( >= title_bg_kid_13_hight 0.0 )
15 ( >= title_bg_kid_14_hight 0.0 )
16 ( >= title_bg_kid_15_hight 0.0 )
17 ( >= title_bg_kid_16_hight 0.0 )
18 ( <= title_bg_kid_0_width 100.0 )
19 ( >= title_bg_kid_0_width 100.0 )
20 ( <= title_bg_kid_1_width 100.0 )
21 ( >= title_bg_kid_1_width 100.0 )
22 ( <= title_bg_kid_2_width 100.0 )
23 ( >= title_bg_kid_2_width 100.0 )
24 ( <= title_bg_kid_3_width 100.0 )
25 ( >= title_bg_kid_3_width 100.0 )
26 ( <= title_bg_kid_4_width 100.0 )
27 ( >= title_bg_kid_4_width 100.0 )
28 ( <= title_bg_kid_5_width 100.0 )
29 ( >= title_bg_kid_5_width 100.0 )
30 ( <= title_bg_kid_6_width 100.0 )
31 ( >= title_bg_kid_6_width 100.0 )
32 ( <= title_bg_kid_7_width 100.0 )
33 ( >= title_bg_kid_7_width 100.0 )
34 ( <= title_bg_kid_8_width 100.0 )
35 ( >= title_bg_kid_8_width 100.0 )
36 ( <= title_bg_kid_9_width 100.0 )
37 ( >= title_bg_kid_9_width 100.0 )
38 ( <= title_bg_kid_10_width 100.0 )
39 ( >= title_bg_kid_10_width 100.0 )
40 ( <= title_bg_kid_11_width 100.0 )
41 ( >= title_bg_kid_11_width 100.0 )
42 ( <= title_bg_kid_12_width 100.0 )
43 ( >= title_bg_kid_12_width 100.0 )
44 ( <= title_bg_kid_13_width 100.0 )
45 ( >= title_bg_kid_13_width 100.0 )
46 ( <= title_bg_kid_14_width 100.0 )
47 ( >= title_bg_kid_14_width 100.0 )
48 ( <= title_bg_kid_15_width 100.0 )
49 ( >= title_bg_kid_15_width 100.0 )
50 ( <= title_bg_kid_16_width 100.0 )
51 ( >= title_bg_kid_16_width 100.0 )
52 ( <= title_bg_kid_0_x 10.0 )
53 ( >= title_bg_kid_0_x 10.0 )
54 ( <= title_bg_kid_0_y 10.0 )
55 ( >= title_bg_kid_0_y 10.0 )
56 ( <= ( + title_bg_hight ( * -1.0 title_bg_kid_0_hight ) ) 20.0 )
57 ( >= ( + title_bg_hight ( * -1.0 title_bg_kid_0_hight ) ) 20.0 )
58 ( <= ( + title_bg_hight ( * -1.0 title_bg_kid_1_hight ) ) 20.0 )
59 ( >= ( + title_bg_hight ( * -1.0 title_bg_kid_1_hight ) ) 20.0 )
60 ( <= title_bg_kid_1_y 10.0 )
61 ( >= title_bg_kid_1_y 10.0 )
62 ( <= ( + title_bg_hight ( * -1.0 title_bg_kid_2_hight ) ) 20.0 )
63 ( >= ( + title_bg_hight ( * -1.0 title_bg_kid_2_hight ) ) 20.0 )
64 ( <= title_bg_kid_2_y 10.0 )
65 ( >= title_bg_kid_2_y 10.0 )
66 ( <= ( + title_bg_hight ( * -1.0 title_bg_kid_3_hight ) ) 20.0 )
67 ( >= ( + title_bg_hight ( * -1.0 title_bg_kid_3_hight ) ) 20.0 )
68 ( <= title_bg_kid_3_y 10.0 )
69 ( >= title_bg_kid_3_y 10.0 )
70 ( <= ( + title_bg_hight ( * -1.0 title_bg_kid_4_hight ) ) 20.0 )
71 ( >= ( + title_bg_hight ( * -1.0 title_bg_kid_4_hight ) ) 20.0 )
72 ( <= title_bg_kid_4_y 10.0 )
73 ( >= title_bg_kid_4_y 10.0 )
74 ( <= ( + title_bg_hight ( * -1.0 title_bg_kid_5_hight ) ) 20.0 )
75 ( >= ( + title_bg_hight ( * -1.0 title_bg_kid_5_hight ) ) 20.0 )
76 ( <= title_bg_kid_5_y 10.0 )
77 ( >= title_bg_kid_5_y 10.0 )
78 ( <= ( + title_bg_hight ( * -1.0 title_bg_kid_6_hight ) ) 20.0 )
79 ( >= ( + title_bg_hight ( * -1.0 title_bg_kid_6_hight ) ) 20.0 )
80 ( <= title_bg_kid_6_y 10.0 )
81 ( >= title_bg_kid_6_y 10.0 )
82 ( <= ( + title_bg_hight ( * -1.0 title_bg_kid_7_hight ) ) 20.0 )
83 ( >= ( + title_bg_hight ( * -1.0 title_bg_kid_7_hight ) ) 20.0 )
84 ( <= title_bg_kid_7_y 10.0 )
85 ( >= title_bg_kid_7_y 10.0 )
86 ( <= ( + title_bg_hight ( * -1.0 title_bg_kid_8_hight ) ) 20.0 )
87 ( >= ( + title_bg_hight ( * -1.0 title_bg_kid_8_hight ) ) 20.0 )
88 ( <= title_bg_kid_8_y 10.0 )
89 ( >= title_bg_kid_8_y 10.0 )
90 ( <= ( + title_bg_hight ( * -1.0 title_bg_kid_9_hight ) ) 20.0 )
91 ( >= ( + title_bg_hight ( * -1.0 title_bg_kid_9_hight ) ) 20.0 )
92 ( <= title_bg_kid_9_y 10.0 )
93 ( >= title_bg_kid_9_y 10.0 )
94 ( <= ( + title_bg_hight ( * -1.0 title_bg_kid_10_hight ) ) 20.0 )
95 ( >= ( + title_bg_hight ( * -1.0 title_bg_kid_10_hight ) ) 20.0 )
96 ( <= title_bg_kid_10_y 10.0 )
97 ( >= title_bg_kid_10_y 10.0 )
98 ( <= ( + title_bg_hight ( * -1.0 title_bg_kid_11_hight ) ) 20.0 )
99 ( >= ( + title_bg_hight ( * -1.0 title_bg_kid_11_hight ) ) 20.0 )
100 ( <= title_bg_kid_11_y 10.0 )
101 ( >= title_bg_kid_11_y 10.0 )
102 ( <= ( + title_bg_hight ( * -1.0 title_bg_kid_12_hight ) ) 20.0 )
103 ( >= ( + title_bg_hight ( * -1.0 title_bg_kid_12_hight ) ) 20.0 )
104 ( <= title_bg_kid_12_y 10.0 )
105 ( >= title_bg_kid_12_y 10.0 )
106 ( <= ( + title_bg_hight ( * -1.0 title_bg_kid_13_hight ) ) 20.0 )
107 ( >= ( + title_bg_hight ( * -1.0 title_bg_kid_13_hight ) ) 20.0 )
108 ( <= title_bg_kid_13_y 10.0 )
109 ( >= title_bg_kid_13_y 10.0 )
110 ( <= ( + title_bg_hight ( * -1.0 title_bg_kid_14_hight ) ) 20.0 )
111 ( >= ( + title_bg_hight ( * -1.0 title_bg_kid_14_hight ) ) 20.0 )
112 ( <= title_bg_kid_14_y 10.0 )
113 ( >= title_bg_kid_14_y 10.0 )
114 ( <= ( + title_bg_hight ( * -1.0 title_bg_kid_15_hight ) ) 20.0 )
115 ( >= ( + title_bg_hight ( * -1.0 title_bg_kid_15_hight ) ) 20.0 )
116 ( <= title_bg_kid_15_y 10.0 )
117 ( >= title_bg_kid_15_y 10.0 )
118 ( <= ( + title_bg_kid_16_hight ( * -1.0 title_bg_hight ) ) -20.0 )
119 ( >= ( + title_bg_kid_16_hight ( * -1.0 title_bg_hight ) ) -20.0 )
120 ( <= title_bg_kid_16_y 10.0 )
121 ( >= title_bg_kid_16_y 10.0 )
122 ( <= title_bg_kid_1_x 120.0 )
123 ( >= title_bg_kid_1_x 120.0 )
124 ( <= title_bg_kid_2_x 230.0 )
125 ( >= title_bg_kid_2_x 230.0 )
126 ( <= title_bg_kid_3_x 340.0 )
127 ( >= title_bg_kid_3_x 340.0 )
128 ( <= title_bg_kid_4_x 450.0 )
129 ( >= title_bg_kid_4_x 450.0 )
130 ( <= title_bg_kid_5_x 560.0 )
131 ( >= title_bg_kid_5_x 560.0 )
132 ( <= title_bg_kid_6_x 670.0 )
133 ( >= title_bg_kid_6_x 670.0 )
134 ( <= title_bg_kid_7_x 780.0 )
135 ( >= title_bg_kid_7_x 780.0 )
136 ( <= title_bg_kid_8_x 890.0 )
137 ( >= title_bg_kid_8_x 890.0 )
138 ( <= title_bg_kid_9_x 1000.0 )
139 ( >= title_bg_kid_9_x 1000.0 )
140 ( <= title_bg_kid_10_x 1110.0 )
141 ( >= title_bg_kid_10_x 1110.0 )
142 ( <= title_bg_kid_11_x 1220.0 )
143 ( >= title_bg_kid_11_x 1220.0 )
144 ( <= title_bg_kid_12_x 1330.0 )
145 ( >= title_bg_kid_12_x 1330.0 )
146 ( <= title_bg_kid_13_x 1440.0 )
147 ( >= title_bg_kid_13_x 1440.0 )
148 ( <= title_bg_kid_14_x 1550.0 )
149 ( >= title_bg_kid_14_x 1550.0 )
150 ( <= title_bg_kid_15_x 1660.0 )
151 ( >= title_bg_kid_15_x 1660.0 )
152 ( <= title_bg_kid_16_x 1770.0 )
153 ( >= title_bg_kid_16_x 1770.0 )
154 title_bg_kid_0_feasible
155 ( >= title_bg_width 110.0 )
156 title_bg_kid_1_feasible
157 ( >= title_bg_width 220.0 )
158 title_bg_kid_2_feasible
159 ( >= title_bg_width 330.0 )
160 title_bg_kid_3_feasible
161 ( >= title_bg_width 440.0 )
162 title_bg_kid_4_feasible
163 ( >= title_bg_width 550.0 )
164 title_bg_kid_5_feasible
165 ( >= title_bg_width 660.0 )
166 title_bg_kid_6_feasible
167 ( >= title_bg_width 770.0 )
168 title_bg_kid_7_feasible
169 ( >= title_bg_width 880.0 )
170 title_bg_kid_8_feasible
171 ( >= title_bg_width 990.0 )
172 title_bg_kid_9_feasible
173 ( >= title_bg_width 1100.0 )
174 title_bg_kid_10_feasible
175 ( >= title_bg_width 1210.0 )
176 title_bg_kid_11_feasible
177 ( >= title_bg_width 1320.0 )
178 title_bg_kid_12_feasible
179 ( >= title_bg_width 1430.0 )
180 title_bg_kid_13_feasible
181 ( >= title_bg_width 1540.0 )
182 title_bg_kid_14_feasible
183 ( >= title_bg_width 1650.0 )
184 title_bg_kid_15_feasible
185 ( >= title_bg_width 1760.0 )
186 title_bg_kid_16_feasible
187 ( >= title_bg_width 1870.0 )
188 title_bg_feasible
0
188
( 1 )
( 2 )
( 3 )
( 4 )
( 5 )
( 6 )
( 7 )
( 8 )
( 9 )
( 10 )
( 11 )
( 12 )
( 13 )
( 14 )
( 15 )
( 16 )
( 17 )
( 18 )
( 19 )
( 20 )
( 21 )
( 22 )
( 23 )
( 24 )
( 25 )
( 26 )
( 27 )
( 28 )
( 29 )
( 30 )
( 31 )
( 32 )
( 33 )
( 34 )
( 35 )
( 36 )
( 37 )
( 38 )
( 39 )
( 40 )
( 41 )
( 42 )
( 43 )
( 44 )
( 45 )
( 46 )
( 47 )
( 48 )
( 49 )
( 50 )
( 51 )
( 52 )
( 53 )
( 54 )
( 55 )
( 56 )
( 57 )
( 58 )
( 59 )
( 60 )
( 61 )
( 62 )
( 63 )
( 64 )
( 65 )
( 66 )
( 67 )
( 68 )
( 69 )
( 70 )
( 71 )
( 72 )
( 73 )
( 74 )
( 75 )
( 76 )
( 77 )
( 78 )
( 79 )
( 80 )
( 81 )
( 82 )
( 83 )
( 84 )
( 85 )
( 86 )
( 87 )
( 88 )
( 89 )
( 90 )
( 91 )
( 92 )
( 93 )
( 94 )
( 95 )
( 96 )
( 97 )
( 98 )
( 99 )
( 100 )
( 101 )
( 102 )
( 103 )
( 104 )
( 105 )
( 106 )
( 107 )
( 108 )
( 109 )
( 110 )
( 111 )
( 112 )
( 113 )
( 114 )
( 115 )
( 116 )
( 117 )
( 118 )
( 119 )
( 120 )
( 121 )
( 122 )
( 123 )
( 124 )
( 125 )
( 126 )
( 127 )
( 128 )
( 129 )
( 130 )
( 131 )
( 132 )
( 133 )
( 134 )
( 135 )
( 136 )
( 137 )
( 138 )
( 139 )
( 140 )
( 141 )
( 142 )
( 143 )
( 144 )
( 145 )
( 146 )
( 147 )
( 148 )
( 149 )
( 150 )
( 151 )
( 152 )
( 153 )
( 154 -155 )
( -154 155 )
( 156 -157 )
( -156 157 )
( 158 -159 )
( -158 159 )
( 160 -161 )
( -160 161 )
( 162 -163 )
( -162 163 )
( 164 -165 )
( -164 165 )
( 166 -167 )
( -166 167 )
( 168 -169 )
( -168 169 )
( 170 -171 )
( -170 171 )
( 172 -173 )
( -172 173 )
( 174 -175 )
( -174 175 )
( 176 -177 )
( -176 177 )
( 178 -179 )
( -178 179 )
( 180 -181 )
( -180 181 )
( 182 -183 )
( -182 183 )
( 184 -185 )
( -184 185 )
( 186 -187 )
( -186 187 )
( 188 )
sat
